kind($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$outr($a$).1